صورت بندی در نظریه ی ساختاری برهان

پایان نامه
چکیده

هدف اصلی این پژوهش آنست که با فراهم آوردن ابزارها و تکنیک هایی به همراه تعدادی از مثال ها، بتواند در اثبات هایی که دارای جزئیات نحوی طولانی هستند، رهیافت هایی را برای رفع پذیری و کاهش طول برهان در حساب رشته ها ارائه نماید. همچنین تلاش می شود تعدادی از روش های بازگشتی در منطق های gl را با کمک قضایای درونیابی و رفع پذیری و ادغام، صورت بندی مناسب مجدد گردد. لذا پژوهش در این مسئله از اهمیت اساسی برخوردار است.

منابع مشابه

صورت بندی برهان صدیقین ابن سینا در نجات بر پایه ی منطق محمولات مرتبه اول

طبق یک تعریف رایج، برهان صدیقین استدلالی است که در آن بدون فرض وجود ممکن (مخلوقات)، وجود واجب الوجود اثبات می شود. شیخ الرئیس مبتکر برهان صدیقین، تقریرهای متفاوتی را از این سبک برهان ارائه نموده است که از جمله ی آن ها تقریر موجود در کتاب نجات می باشد. نوشته ی حاضر درصدد است تا امکان اثبات اعتبار منطقی این تقریر را در منطق محمولات بررسی نماید و نیز اصولی را که برهان مذکور بر آن ها مبتنی است آشکا...

متن کامل

ماده ابداع در صورت برهان

این مقاله به بررسی یکی از ابداعات فلسفی شهید مطهری می پردازد. ایشان دعوی کرده بودند که اثبات ماده بدون حرکت جوهری و ترکیب اتحادی ممکن نیست. نیز برهان فصل و وصل در اثبات هیولا معتبر نیست و پذیرش آن از سوی صدرا خطا بوده است. در این مقاله دعوی اول بیان و اثبات شده است و مدعای دوم ابطال گردیده است.

متن کامل

فروپاشی نظریه ی ارسطوئی انتزاع صورت از ماده در پدیدارشناسی هوسرل

ارسطو در نقد افلاطون مثل را از آسمان به زمین فرود آورد و در «تک چیزها» جای داد وانها را با جوهر در معنی نخستین یکی گرفت. از نظر او جوهر در معنای نخستین، موجود نخستین است و بنابراین موجودیت وچیستی یا ماهیت یکی و همانند هستند. سپس وی جوهر را در تعاریفی منطقی تبیین می کند تا ساخت منطقی جهان را بازنمایی کند. اما نقد ارسطو علیه افلاطون او را مجبور کرد که نظریه ی صورت و ماده را چون دو جوهر بنیادی که ...

متن کامل

صورت بندی گفتمانی خطبه216 نهج البلاغه (بازتولید نظریه بقا و زوال حاکمیت از منظر علی(ع))

خطبه 216 نهج­البلاغه سهم قابل توجهی در تبیین رابطه حکومت و مردم در اندیشه­­ی ­سیاسی علی(ع) دارد. این پژوهش با رویکرد توصیفی و بهره­گیری از روش تحلیل گفتمان،...

متن کامل

مقدمه ای بر صورت بندی میدان معماری معاصر ایران بر اساس" نظریه میدان" بوردیو

معماری معاصر ایران، به باور بسیاری، با معضلات و چالش­هایی روبرو است. تبیین دلایل این معضلات،  علیرغم حضور معماری در زندگی اجتماعی، کمتر از منظر جامعه­شناسی بررسی شده است. نظریۀ «میدان» بوردیو از  نظریاتی است که در حوزه جامعه­شناسی هنر مطرح شده و امکان تحلیل حوزه­های مختلف هنری را مهیا کرده است. واکاوی و تلاش برای صورت­بندی میدان معماری معاصر ایران مطابق با این نظریه، موضوع مطالعه این پژوهش است....

متن کامل

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


نوع سند: پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه علامه طباطبایی - دانشکده الهیات و معارف اسلامی

کلمات کلیدی

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023